Sergei Vorobyov: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games

Henrik Björklund, Sergei Vorobyov

Journal:

Discrete Applied Mathematics

Year:

2007

Language:

english

File:

PDF, 287 KB

english, 2007

2

Cyclic games and linear programming

Sergei Vorobyov

Journal:

Discrete Applied Mathematics

Year:

2008

Language:

english

File:

PDF, 461 KB

english, 2008

3

Combinatorial structure and randomized subexponential algorithms for infinite games

Henrik Björklund, Sergei Vorobyov

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 287 KB

english, 2005

4

∀∃5-equational theory of context unification is undecidable

Sergei Vorobyov

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 148 KB

english, 2002

5

Memoryless determinacy of parity and mean payoff games: a simple proof

Henrik Björklund, Sven Sandberg, Sergei Vorobyov

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 287 KB

english, 2004

6

The Undecidability of the First-Order Theories of One Step Rewriting in Linear Canonical Systems

Sergei Vorobyov

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 203 KB

english, 2002

7

The most nonelementary theory

Sergei Vorobyov

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 276 KB

english, 2004

8

Atomic Level Anisotropy in the Electrostatic Modeling of Lone Pairs for a Polarizable Force Field Based on the Classical Drude Oscillator

Harder, Edward, Anisimov, Victor M., Vorobyov, Igor V., Lopes, Pedro E. M., Noskov, Sergei Y., MacKerell, Alexander D., Roux, Benoît

Journal:

Journal of Chemical Theory and Computation

Year:

2006

Language:

english

File:

PDF, 380 KB

english, 2006

9

The Role of Atomic Polarization in the Thermodynamics of Chloroform Partitioning to Lipid Bilayers

Vorobyov, Igor, Bennett, W.F. Drew, Tieleman, D. Peter, Allen, Toby W., Noskov, Sergei

Journal:

Journal of Chemical Theory and Computation

Year:

2012

Language:

english

File:

PDF, 3.34 MB

english, 2012

10

[ACM Press the seventeenth ACM SIGACT-SIGMOD-SIGART symposium - Seattle, Washington, United States (1998.06.01-1998.06.04)] Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '98 - Complexity of nonrecursive logic programs with complex values

Vorobyov, Sergei, Voronkov, Andrie

Year:

1998

Language:

english

File:

PDF, 1.27 MB

english, 1998

11

[ACM Press the 22nd ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1995.01.23-1995.01.25)] Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 - Structural decidable extensions of bounded quantification

Vorobyov, Sergei G.

Year:

1995

Language:

english

File:

PDF, 1.06 MB

english, 1995

12

Effect of oral administration of tormentil root extract (Potentilla tormentilla) on rotavirus diarrhea in children: a randomized, double blind, controlled trial

SUBBOTINA, MARIA D., TIMCHENKO, VLADIMIR N., VOROBYOV, MICHAIL M., KONUNOVA, YULIA S., ALEKSANDROVIH, YURY S., SHUSHUNOV, SERGEI

Journal:

Pediatric Infectious Disease Journal

Year:

2003

Language:

english

File:

PDF, 197 KB

english, 2003

13

A multiscale computational modelling approach predicts mechanisms of female sex risk in the setting of arousal-induced arrhythmias

Yang, Pei-Chi, Perissinotti, Laura L., López-Redondo, Fernando, Wang, Yibo, DeMarco, Kevin R., Jeng, Mao-Tsuen, Vorobyov, Igor, Harvey, Robert D., Kurokawa, Junko, Noskov, Sergei Y., Clancy, Colleen E

Journal:

The Journal of Physiology

Year:

2017

Language:

english

File:

PDF, 4.01 MB

english, 2017

14

Atomistic Simulation of Lipid Membrane Permeation for Cardiac Ion Channel Blockers

DeMarco, Kevin R., Bekker, Slava, Clancy, Colleen E., Noskov, Sergei Y., Vorobyov, Igor

Journal:

Biophysical Journal

Year:

2018

Language:

english

File:

PDF, 45 KB

english, 2018

15

Digging into Lipid Membrane Permeation for Cardiac Ion Channel Blocker d-Sotalol with All-Atom Simulations

DeMarco, Kevin R., Bekker, Slava, Clancy, Colleen E., Noskov, Sergei Y., Vorobyov, Igor

Journal:

Frontiers in Pharmacology

Year:

2018

Language:

english

File:

PDF, 4.71 MB

english, 2018

16

Molecular Determinants of Steroid Hormone and Drug Induced Arrhythmogenesis via hERG Channel Block

Vorobyov, Igor, Brown, Brandon M., DeMarco, Kevin R., Noskov, Sergei Y., Yarov-Yarovoy, Vladimir, Wulff, Heike, Clancy, Colleen E.

Journal:

Biophysical Journal

Year:

2018

Language:

english

File:

PDF, 46 KB

english, 2018

17

Molecular Mechanisms of Filter-Level Gating and Loss of Selectivity in hERG1 N629D Mutant from Microseconds MD Simulations

Miranda, Williams E., Duff, Henry J., Guo, Jiqing, Vorobyov, Igor V., DeMarco, Kevin R., Clancy, Colleen E., Yu Noskov, Sergei

Journal:

Biophysical Journal

Year:

2019

Language:

english

File:

PDF, 45 KB

english, 2019

18

Molecular Mechanisms of Filter-Level Gating and Loss of Selectivity in hERG1 N629D Mutant from Microseconds MD Simulations

Miranda, Williams E., Duff, Henry J., Guo, Jiqing, Vorobyov, Igor V., DeMarco, Kevin R., Clancy, Colleen E., Yu Noskov, Sergei

Journal:

Biophysical Journal

Year:

2019

File:

PDF, 45 KB

2019

19

In Silico Determination of Open Conducting and Inactivated Atomistic KV11.1 Channel Models

Dawson, John R.D., DeMarco, Kevin R., Bekker, Borislava, Noskov, Sergei Y., Clancy, Colleen E., Vorobyov, Igor V.

Journal:

Biophysical Journal

Year:

2019

Language:

english

File:

PDF, 44 KB

english, 2019

20

Demonstration of a Predictive Multiscale Model for Drug-Induced Arrhythmogenic Risk

DeMarco, Kevin R., Yang, Pei-Chi, Aghasafari, Parya, Dawson, John R.D., Bekker, Slava, Noskov, Sergei Y., Yarov-Yarovoy, Vladimir, Vorobyov, Igor, Clancy, Colleen E.

Journal:

Biophysical Journal

Year:

2020

File:

PDF, 52 KB

2020